3.85 \(\int \frac {1}{x (a+b \log (c x^n))^3} \, dx\)

Optimal. Leaf size=22 \[ -\frac {1}{2 b n \left (a+b \log \left (c x^n\right )\right )^2} \]

[Out]

-1/2/b/n/(a+b*ln(c*x^n))^2

________________________________________________________________________________________

Rubi [A]  time = 0.02, antiderivative size = 22, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.125, Rules used = {2302, 30} \[ -\frac {1}{2 b n \left (a+b \log \left (c x^n\right )\right )^2} \]

Antiderivative was successfully verified.

[In]

Int[1/(x*(a + b*Log[c*x^n])^3),x]

[Out]

-1/(2*b*n*(a + b*Log[c*x^n])^2)

Rule 30

Int[(x_)^(m_.), x_Symbol] :> Simp[x^(m + 1)/(m + 1), x] /; FreeQ[m, x] && NeQ[m, -1]

Rule 2302

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/(x_), x_Symbol] :> Dist[1/(b*n), Subst[Int[x^p, x], x, a + b*L
og[c*x^n]], x] /; FreeQ[{a, b, c, n, p}, x]

Rubi steps

\begin {align*} \int \frac {1}{x \left (a+b \log \left (c x^n\right )\right )^3} \, dx &=\frac {\operatorname {Subst}\left (\int \frac {1}{x^3} \, dx,x,a+b \log \left (c x^n\right )\right )}{b n}\\ &=-\frac {1}{2 b n \left (a+b \log \left (c x^n\right )\right )^2}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.00, size = 22, normalized size = 1.00 \[ -\frac {1}{2 b n \left (a+b \log \left (c x^n\right )\right )^2} \]

Antiderivative was successfully verified.

[In]

Integrate[1/(x*(a + b*Log[c*x^n])^3),x]

[Out]

-1/2*1/(b*n*(a + b*Log[c*x^n])^2)

________________________________________________________________________________________

fricas [B]  time = 0.43, size = 62, normalized size = 2.82 \[ -\frac {1}{2 \, {\left (b^{3} n^{3} \log \relax (x)^{2} + b^{3} n \log \relax (c)^{2} + 2 \, a b^{2} n \log \relax (c) + a^{2} b n + 2 \, {\left (b^{3} n^{2} \log \relax (c) + a b^{2} n^{2}\right )} \log \relax (x)\right )}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/x/(a+b*log(c*x^n))^3,x, algorithm="fricas")

[Out]

-1/2/(b^3*n^3*log(x)^2 + b^3*n*log(c)^2 + 2*a*b^2*n*log(c) + a^2*b*n + 2*(b^3*n^2*log(c) + a*b^2*n^2)*log(x))

________________________________________________________________________________________

giac [A]  time = 0.33, size = 21, normalized size = 0.95 \[ -\frac {1}{2 \, {\left (b n \log \relax (x) + b \log \relax (c) + a\right )}^{2} b n} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/x/(a+b*log(c*x^n))^3,x, algorithm="giac")

[Out]

-1/2/((b*n*log(x) + b*log(c) + a)^2*b*n)

________________________________________________________________________________________

maple [A]  time = 0.02, size = 21, normalized size = 0.95 \[ -\frac {1}{2 \left (b \ln \left (c \,x^{n}\right )+a \right )^{2} b n} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/x/(b*ln(c*x^n)+a)^3,x)

[Out]

-1/2/b/n/(b*ln(c*x^n)+a)^2

________________________________________________________________________________________

maxima [A]  time = 0.58, size = 20, normalized size = 0.91 \[ -\frac {1}{2 \, {\left (b \log \left (c x^{n}\right ) + a\right )}^{2} b n} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/x/(a+b*log(c*x^n))^3,x, algorithm="maxima")

[Out]

-1/2/((b*log(c*x^n) + a)^2*b*n)

________________________________________________________________________________________

mupad [B]  time = 3.53, size = 39, normalized size = 1.77 \[ -\frac {1}{2\,n\,a^2\,b+4\,n\,a\,b^2\,\ln \left (c\,x^n\right )+2\,n\,b^3\,{\ln \left (c\,x^n\right )}^2} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(1/(x*(a + b*log(c*x^n))^3),x)

[Out]

-1/(2*b^3*n*log(c*x^n)^2 + 2*a^2*b*n + 4*a*b^2*n*log(c*x^n))

________________________________________________________________________________________

sympy [A]  time = 93.79, size = 121, normalized size = 5.50 \[ \begin {cases} \frac {\tilde {\infty } \log {\relax (x )}}{\log {\relax (c )}^{3}} & \text {for}\: a = 0 \wedge b = 0 \wedge n = 0 \\\tilde {\infty } n \log {\relax (x )} & \text {for}\: a = - b \left (n \log {\relax (x )} + \log {\relax (c )}\right ) \\\frac {\log {\relax (x )}}{a^{3}} & \text {for}\: b = 0 \\\frac {\log {\relax (x )}}{\left (a + b \log {\relax (c )}\right )^{3}} & \text {for}\: n = 0 \\- \frac {1}{2 a^{2} b n + 4 a b^{2} n^{2} \log {\relax (x )} + 4 a b^{2} n \log {\relax (c )} + 2 b^{3} n^{3} \log {\relax (x )}^{2} + 4 b^{3} n^{2} \log {\relax (c )} \log {\relax (x )} + 2 b^{3} n \log {\relax (c )}^{2}} & \text {otherwise} \end {cases} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(1/x/(a+b*ln(c*x**n))**3,x)

[Out]

Piecewise((zoo*log(x)/log(c)**3, Eq(a, 0) & Eq(b, 0) & Eq(n, 0)), (zoo*n*log(x), Eq(a, -b*(n*log(x) + log(c)))
), (log(x)/a**3, Eq(b, 0)), (log(x)/(a + b*log(c))**3, Eq(n, 0)), (-1/(2*a**2*b*n + 4*a*b**2*n**2*log(x) + 4*a
*b**2*n*log(c) + 2*b**3*n**3*log(x)**2 + 4*b**3*n**2*log(c)*log(x) + 2*b**3*n*log(c)**2), True))

________________________________________________________________________________________